types of proximity sensor